Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT
نویسندگان
چکیده
منابع مشابه
the crisis of identity in jhumpa lahiris fiction: interpreter of maladies and the namesake
شکل گیری هویت(identity) مقوله مهمی در ادبیات پراکنده مردم(diasporan literature) می باشد. آثار جومپا لاهیری(jhumpa lahiri) ، نویسنده هندی آمریکایی، در سالهای اخیر تحسین منتقدین را به خود معطوف کرده است. وی در این آثار زندگی مهاجران و تلاش آنان برای پیدا کردن جایگاهشان در یک فرهنگ بیگانه را به تصویر کشیده است. این تجربه همواره با احساساتی نظیر دلتنگی برای گذشته، بیگانگی و دوری همراه است. با این ح...
15 صفحه اولthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولIdentity in Homotopy Type Theory, Part I: The Justification of Path Induction
Homotopy type theory (HoTT) is a new branch of mathematics that connects algebraic topology with logic and computer science, and which has been proposed as a new language and conceptual framework for mathematical practice. Much of the power of HoTT lies in the correspondence between the formal type theory and ideas from homotopy theory, in particular the interpretation of types, tokens, and equ...
متن کاملIdentity in Homotopy Type Theory, Part I: The Justification of Path Induction
Homotopy type theory (HoTT) is a new branch of mathematics that connects algebraic topology with logic and computer science, and which has been proposed as a new language and conceptual framework for mathematical practice. Much of the power of HoTT lies in the correspondence between the formal type theory and ideas from homotopy theory, in particular the interpretation of types, tokens, and equ...
متن کاملAnalyze and explain the function of education in The identity development Based identity status
The concept of identity with the question " Who am I " of The first stages of human life Been.The identity of each period been affected by the Terms and textural characteristics of societies and eras. Particularly Attention was paid to the concept of self in Most of the time.The authors attempt to investigate concept of identity in Space Education andto explain How function of educationAccordin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophia Mathematica
سال: 2016
ISSN: 0031-8019,1744-6406
DOI: 10.1093/philmat/nkw023